Ordinal numbers

Results: 227



#Item
161Structure / Ordinal numbers / Set theory / Mathematics / Monoid / Mathematical logic

[removed]THE GEOMETRY MONOID OF LEFT SELF-DISTRIBUTIVITY Patrick DEHORNOY Abstract. We develop a counterpart to Garside’s analysis of the braid monoid Bn+

Add to Reading List

Source URL: www.math.unicaen.fr

Language: English - Date: 2000-02-15 13:55:13
162Cardinal numbers / Infinity / Ordinal numbers / Forcing / Aleph number / Continuum hypothesis / Georg Cantor / Constructible universe / Transfinite number / Mathematical logic / Mathematics / Set theory

Derivation of Continuum Hypothesis from Axiom of Combinatorial Sets Kannan Nambiar In set theory [1], two sets are considered to have the same cardinality, if a one-to-one correspondence can be set up between them. Canto

Add to Reading List

Source URL: www.e-atheneum.net

Language: English - Date: 2003-12-02 07:10:41
163Ordinal numbers / Constructible universe / Axiom schema of replacement / Absoluteness / Zermelo–Fraenkel set theory / Normal function / Forcing / Boolean-valued model / Mathematical logic / Mathematics / Set theory

The Reflection Theorem: A Study in Meta-Theoretic Reasoning Lawrence C. Paulson University of Cambridge, Computer Laboratory, JJ Thomson Avenue, Cambridge CB3 0FD, UK, [removed]

Add to Reading List

Source URL: www.cl.cam.ac.uk

Language: English - Date: 2003-10-29 08:25:04
164Differential geometry / Ordinal numbers / Connection / Vorticity / Vehicle Identification Number / Physics

Particle Simulations of Vortex Sheet Roll-Up in Fluid Dynamics Robert Krasny

Add to Reading List

Source URL: www.ima.umn.edu

Language: English - Date: 2003-07-21 12:33:02
165Ordinal numbers / Set theory / Cardinal number / Constructible universe / Ordinal arithmetic / Transfinite induction / Mahlo cardinal / Woodin cardinal / Mathematical logic / Large cardinals / Mathematics

Gra¸bczewski & Paulson Mechanizing Set Theory Mechanizing Set Theory: Cardinal Arithmetic and the Axiom of Choice

Add to Reading List

Source URL: www.cl.cam.ac.uk

Language: English - Date: 2003-04-29 07:49:46
166Set theory / Field theory / Isotope lists /  73-96 / Curry–Howard correspondence / Constructible universe / Mathematics / Ordinal numbers

F light Control Des ign Us ing B acks tepping Ola Härkegård, T orkel Glad Linköping Univers ity B ackground

Add to Reading List

Source URL: research.harkegard.se

Language: English - Date: 2007-10-25 14:11:29
167Ordinal numbers / General topology / Set theory / Order topology / Ordinal arithmetic / Mathematical logic / Mathematics / Constructible universe

Tutorial 16: Differentiation 1

Add to Reading List

Source URL: www.probability.net

Language: English - Date: 2006-10-29 01:18:09
168Set theory / Ordinal numbers / Symbol / Cofinality / Stable theory / Tree / Constructible universe / Cardinal number / Weakly compact cardinal / Mathematical logic / Large cardinals / Mathematics

ON HANF NUMBERS OF THE INFINITARY ORDER PROPERTY DRAFT RAMI GROSSBERG AND SAHARON SHELAH

Add to Reading List

Source URL: www.math.cmu.edu

Language: English - Date: 1998-06-09 14:32:15
169Set theory / Logic / Ordinal numbers / Curry–Howard correspondence / Mathematics / Constructible universe / Enumeration

Genericity and Nonbounding in the Enumeration degrees Mariya Ivanova Soskova

Add to Reading List

Source URL: www.fmi.uni-sofia.bg

Language: English - Date: 2008-02-28 12:55:18
170Ordinal numbers / Proof theory / Ordinal analysis / Constructible universe / Impredicativity / Function / Model theory / Zermelo–Fraenkel set theory / Kripke–Platek set theory / Mathematics / Mathematical logic / Logic

An extended predicative definition of the Mahlo universe Reinhard Kahle

Add to Reading List

Source URL: www.cs.swan.ac.uk

Language: English - Date: 2010-02-07 19:53:07
UPDATE